InstanceArgumentsBraceSpaces.agda:5,19-19
InstanceArgumentsBraceSpaces.agda:5,19: Expecting '}}', found separated '}'s.
→<ERROR>
 B
...
